Formal connections between lightness algorithms | Synapse