what did the inventor jaedon kim invent?
(AND law.invention (JOIN law.invention.inventor m.0br30t3))