"true reachable propositions" - related articles and key terms