Using Logic To Solve A Problem