Initial commit. Bi-value decisions implemented.