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