assert ps exists to prevent infinite loop