Additive Utility Functions and Linear Engel Curves | Synapse