(forall (var body) (@ var body) (let var genslop (lambda var body)))