RCW 28B.40.750
Funds payable into bond retirement funds -- Pledge of building fees.

See RCW 28B.35.750.