Ó' 2PC x <Id =I+ ~ <