Delete praxis1.rb