Could you explain what the priors are for? What does adding zeros do to `y` down in line 1419?