it would be so convenient if we could also go forward from the premises so we don't have to prove B is true 3 times
You're right, I even had it at some point but decided to remove it to simplify the UI since not many levels seemed to need it. But you're not the first one to comment about it so maybe I was wrong...
