Move def-lkb's solution to incomplete. See #113