Доказательная ректификация