bruno attended the cours hattemer a private school therefore there is a finite subset a of these sentences that is not satisfiable it has a narrow cylindrical shape