fixed presuppose.