Add support for "FP" logics.