Proper edge colorings of planar graphs with rainbow C4 C₄‐s | Synapse