Given permissive FALSE, when start TRUE, then output remains FALSE — och hur en sådan specifikation blir ett körbart test.