som är faktiskt möjlig , men som är formelt oantaglig.