Bicycle Law

All bicycles weigh 25 kilograms:

• A 15 kilogram bicycle needs a 10 kilogram lock.
• A 20 kilogram bicycle needs a 5 kilogram lock.
• A 25 kilogram bicycle doesn't need a lock.