Looks like @shagtheorem hasn't received any replies!