The Spock commit (logical programming has begun!)