2021-11-02 18:09:21+00:00 In reply to @DavidKButlerUoA @DavidKButlerUoA Do we know about dot products for the purpose of this proof?