having done something