justinpombrio comments on Magic by forgetting