A look into proposition one