afgår An | if.