Smooth ambler contradiction