F-injectivity does not imply F-fullness in normal domains | Synapse