Template_talk:Mathlogic-stub loading ...