Constraint Theory applied to Proteins