proteus.richards.cRichards moduleΒΆ