If X, Then F