Mostly machine proof