Comment on Studying Hard by Dash1e