Tertium_non_datur loading ...