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.