for fun
Revert "for fun"

This reverts commit 62d7617edd294ff7c9f3f38589f9806741510c07.
added .aux and .out