User leave has been implemented