fixed bound variables proposals, fixed FOL example