“Hence no non-trivial system can have three pairwise strongly complementary spiders” - Coecke and Kissinger