[23] fixed indentation a bit
[24-25] solutions, still using my hacky check-inv for testing