fixed a couple bugs and started trying to prove properties