read "v1" = read "v2" = v1 p v2 p