A theory of substitutability of leisure behavior | Synapse