Definition of De Non Decimando