Size of one proof