minimal omniscient example