added proposition formula