Wrote a lot of theoretical auton :)