added some reverseo and fact tests