Filling out some examples