On concepts that prove