Marks transaction as invalid if top stack value is not true. The top stack value is removed. Input: true/false, Output: nothing/fail