Title: The elements of formal logic