trigger-flex DERIVABLE