Reduced Clauses with to V