mutable
knowledge = ([]: term list)