File that I will write the equivalence class in.