Renaming pl to pro; adding ex3_rules