Clever Requirement Trunks