Def computation.terminates

Modification history