Text this: Alignment complete relational Hoare logics for some and all