ATS/Postiats 0.1.0 (New formula)

Use `EOS.undent` and then you can nicely indent the next two lines.