Monotone FTL.