, _ x !a.