Awesome, always nice to see my mathematical intuition still works. Also an interesting piece of mathematics. My main takeaway was the following conclusion > [

Awesome, always nice to see my mathematical intuition still works. Also an interesting piece of mathematics. My main takeaway was the following conclusion > [E]xcept for the contractible case either no social choice function can exist on P, or if it exists for all n then unexpected properties turn up.