Comment by prideout

Me too but unfortunately theorem proving seems to be easier than doing laundry.