modified evaluation and inference to include NONE