add bigger statement with transitivity