Swapped subformulas to @ notation