Balancing logic and revelation