sbpl inverse reseachabliity