Note about req. of Errai 3.1