apparently I was bad and did a bunch of stuff last week without committing it
finished proving target properties