for existence