Logic mid exam