Rithms Version 0.3.0