class Plurimath::Error