(:= (dot p 1) (+ (dot erty 999) (dot eeet 1984)))