Lab 4 Logic