DT ramsey works with and without OP