code in a manner consistent with the input cover on the exercise of, or is conditioned on the exercise of,