changing semantics of deferredmodel for better extension as well as flipping diffus ein basic tex