this is why we have the distinction between

Platform

and

PlatformConstraint

in our python code