First order logic Packages