Advanced logic providing elegant solutions to difficult problems of all types.