Finished the two proposition functions