Yup. But with different arguments. distribute_and_over_or calls _distribute(expr, And, Or) while distribute_or_over_and does it as _distribute(expr,Or, And). Is there any way I could do it?