, a | if4