A degree bound for planar functions | Synapse