yes p1001 p1002
  | g1001 = e1001
  | g1002 = e1002
  | otherwise = e1003