Distinction Under Finite Constraints | Synapse