simplified notation, and diagram [ci skip]