flat proof