how do we know that