Conditional Logic: Several Feature Requests