with a as b: c d with f as g, h as i: j with k, l: m