Yep, we permuted the join order, although I’m not sure we tried the full combinatorics for explicit vs implicit joins