Symmath is now the only exposed module