Variety_(universal_algebra) loading ...