Asserts `$false` under the guise of an `introduced(definition)` step that declares a single fresh symbol.
The verifier accepts the step as Sound immediately based on the declared new symbol freshness without verifying the actual formula of the definition.
