Start naive formulations