A Formal Theory of the Employment Relationship | Synapse