Proposition assumed to be self-evident