Looks like @modusponens hasn't posted yet!