BRAIͶ ≣RR∅R (prod:V▲ ÝŐ)