TODO: Need to do the same for the stack proof. TODO: Unfolding should be automatic.
Attach a file by drag & drop or click to upload