Properties on Proserpine Loop