Finished tests for Logic

.