Hvad er en postcondition i kontraktbaseret programmering? 


Betingelser i kontraktbaseret programmering opdeles i forhåndsbetingelser, postconditions og invarianter, der henholdsvis kan forklares ved spørgsmålene Hvilke udsagn forventes at være sande her?, Hvilket arbejde kan garanteres at have været udført her? og Hvilke tilstande er garanteret fastholdt her?
Stationen ligger på en 30 hektar stort område mellem kommunerne Sauvain og Job, placeret over grænsen mellem de to departementer Loire og Puy-de-Dôme. Stationen er omgivet af en høj barriere af træ og metal. Militærpersonel og medarbejdere ankommer via helikopter eller vej. Denne vej er lukket for offentligheden.