rule [xpost]