Extra definitions and instances for operational