Existence of f_!

First result to be used to fix error pointed out in
fff0778d25f26031b9639e8d996e67ec68d722a1