Simplified argument