Mapping Social Choice Theory to RLHF | Synapse