basic relex2logic folder readme