key existence