PHIL 100. General Logic (4)