Declaration that something is true