general case, with limitations imposed by notations in the right part of student's formula