Anstalten är stödd på solidaste matematiska grunder.