Programmierbar. Verifizierbar. Unvermeidlich. Glaube an somETHing.