REALSE 3.9.6