keys assertions