+some logical operations +formulas