Finish part one of disprove
Successfully merged