proof notes
refactoring: actor classes
wip
hard refactoring over
pointless refactoring
not so useless refactor
useless refactor has bugs. ug
final refactor complete
tweaks