about koans
about assertions
about equality
about primitives