Expression `False = True` reminds me of http://stackoverflow.com/a/771974/458610.