Baer_*-ring loading ...