working on this tiresome notational overhaul