Added Avoid the Three-state Boolean Problem