added proposition table
added propositions support