k ?- % toJ