shouldn't cls.zero be sympified already? And the same for cls.identify?