Principal of logic .Proposition .type of proposition.