The notation here gets horrible because I started from the post-quantum write up. And it has slightly different needs.