Do You Know Basic Logic?