Added notes on reasoning.