https://9lib.org/document/yevnv70r-separation-theorems-for-conditional-functional-equations.html