At point #3, I think you meant "then a→c".