requirement revert