Termos como proposições, por exemplo, estão incorretos na tradução de forma que seria bom revisar toda a documentação.