Beyond Consequences Logic And Control