Fifth_power_(algebra) loading ...