Now Goodman introduces the predicate “grue”. This predicate applies to all things examined before some future time \(t\) just in case they are green but to other things (observed at or after \(t\)) just in case they are blue: