Flattened message model; finished specs