0 <-> f
0 <-> f
f <-> 0
f <-> 0