Looks like @deducive hasn't received any replies!