Which two Social Contract writers were mentioned in class, What were their theories, and whose theory was preferred by the Founders?