Reduced : :- complexity.