mutable knowledge = ([]: term list)