4 Logical Notions