n v ^ n'