implied by keys