Let's simplify this contraining stuff until we understand it better