Guarantee is a type of Back. Deposit is a type of Guarantee. Deposit is a different concept from Withdrawal. Withdrawal is a type of Departure. 
the last thing you do when you Sing is Bow. Bow is a type of Curve. Curve is a different concept from Square. 
Back <--IsA-- Guarantee <--IsA-- Deposit <--DistinctFrom--> Withdrawal --IsA--> Departure 
Sing --HasLastSubevent--> Bow --IsA--> Curve <--DistinctFrom--> Square 