luculenter exponuntur , 17J0.