tree: f3c26cda54e5772f7be9f051d0bea286a97b10d8
  1. formality.log
  2. synth.log
  3. synth.v