changed default theorem