A disciplined approach to non-standard evaluation.