let closed = F.term_closed