Teza $RAIL nu mai putea fi evidentă