The verifier is now the system — type0 | type0