knowledge in CrazyJava