Fixed the ok rules so that eval preserves ok