Specified precondition for piDisplay::open