It says to cut the onions into 1/4" slices, but I'd better correct for length contraction.