Comments on Type First, and Then Format