Type: [[Not]], [[Have]]