Template_talk:Formalmethods-stub loading ...