A partial system for Reactive