Delete Tautology.java