Software that lies (so you don't have to!)