You're right. Maybe you have enough time to tackle this as an exercise once the Malone simplifications have landed?
You're right. Maybe you have enough time to tackle this as an exercise once the Malone simplifications have landed?