Moved the g a ~ f b constraint into a different structure.