Identity operator is primitive and shouldn't have a definition