LaplaceHolder comments on nilock’s Shortform