A scientific representation system X is a notational variant of a scientific representation system Y iff there is an algorithm (which does not touch the theoretical content of X and Y) converting X and Y in each other; this implies that X and Y theoretically say the same.