check function ...
... add first trigger constraint ...