Доказательство "концепции Тестирования" из второй лекции "Курса тестирования" трудно понять:
A**3 = A*A*A
A*A*A = A -> R, A*R -> R, A*R -> R
Понятно что A**3 это A*A*A.
Но не понятно что такое А. Что означает A -> R, что это за стрелка, это обращение к внутреннему свойству в А?
https://intuit.ru/studies/courses/48/48/lecture/1426