Started working on resolving behavior constraints.