~{vn} ^. ~{en}Id ==. ~{vn} ^. ~{en}Id