I think both of them should get flattened