Nice logical analysis.