what did michael i mills invented?
(AND law.invention (JOIN law.invention.inventor m.0j5c023))