formatting+prototypes