pre di [ a: