trunks proposition

trunks proposition