I think they do for congruence closure
Conversation
1
2
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
I think they put more thought into efficiency, but also some of the extra design involved was due to the fact that they don't get hcongr_ideal, which you do get in cubical
1
3
This Tweet was deleted by the Tweet author. Learn more
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Seems like they have a huge amount on their plate as is!