Anstalten är stödd p & solida matematiska grander.