modified notation according to conversation with JLGG-M