let is_pure i (a, b) = is_pure i a && is_pure i b