Compatible_(algebra) loading ...