"complicated" arithmetic results deferred correctly...