Looks like @shagtheorem hasn't commented yet!