a U b
F(- b)
F(- a)


