thus x `1 is transition of PTN ; :: thesis: