horseshoe conditionals