Logical extension involves: