Outputs

Result[-∞..+∞]

Here the Result of the verification is output, either 0 or 1.