How Logic Works