spec for initial keys
spec