Added boolean programs