Theorem Drive needs JavaScript.