start writing up conjecture re: equipotence + linear orders