logarithmic geometry

  1. redirectLog structure