a chapter on logic