Gave rationales for the choice of syntax