Version 1 → 2

Implies