checking in the design docs