Text this: Conditional Bisimilarity for Reactive Systems