More accurate model for boolean logic.