givenempty