AS

DOL SystemRules
  1. a = ab
  2. b = a