formal path 1 result