proxygon problem