split redundancy.rb into multiple files