adding initial tautology main src file