On concepts that prove

19