First lessons in logic /