reset

fun reset()

Forgets the theory