#14: Add spec for PRStore.