after quite a bit of hand writing, it looks like these things should all work...