Looks like @plainmathhelp hasn't received any replies!