README: stick to one order
New convenience function Satisfies(str, str).