1.equals() for constraint. 2. DS for summary and summary env