Theorem Development Literature Review