The goals are equivalent
This is fixed by mono-binds