Logical constructions added