Theorem_on_friends_and_strangers loading ...