added logical const from draft paper
Restricted logical_const