A sufficient condition for the insertion of a contra-continuous   (Baire-one) function
  A sufficient condition for the insertion of a contra-continuous (resp. Baire-one) function between two comparable real-valued functions is given on the topological spaces that L-sets are open (resp. G-delta-sets). 
Majid Mirmiran