Logic in Coding