Finished disprove tests