Looks like @modusponens hasn't received any replies!