F -> FALSE