Required Operations

The evidence generator relies on the existence of certain operations to execute successfully.