Alignment complete relational Hoare logics for some and all (Logical Methods in Computer Science, 2025)