Paychecks, Stress, and Variable-Free Semantics