formally enabling control