Wonder if there's enough reasoning to convince Big OT