17: let MAIN be an exclusive start condition