Thank you!
Yes, I definitely wanted to add that return button and forgot... oops
I think, ideally, you should be able to move them from analyse to lie, instead of having to go back to statements, but I started this project too late into the jam to make it work in time :/