more work on koan.jj