Reduced logical form