If a = 3 + root 5 / 2