Synchronous logic for conditions