Added [Trunc_forall].