Quantific Definit & Normaliz Ostl P by A. Giannakidou