This project for logic lab.