f 0 F F f F 1 F F nat nat f nat nat nat nat 0 nat 1 nat FULL .