Reduced example