Using the Fitch system, how do I prove $((p \implies q) \implies p)\implies p$?

logic

Using the Fitch system, how do I prove $((p \implies q) \implies p)\implies p$? I started with the hypotheses $(p \implies q) \implies p$ and $\sim p$. However, from these hypotheses I did not get the desired contradiction to solve the question.

Thanks sb45


You were on the right track .... almost there in fact:

enter image description here

Related

A complete residue system from an arithmetic progression
Finding a closed form $x_n$ for the recurrence relation $x_{n+2} = px_{n+1} + qx_n + r$
f(a) = inverse of a is an isomorphism iff a group G is Abelian
Why do non-orthogonal basis functions encode 'redundant' information in transforms?
$x=\frac{-b\pm \sqrt{b^2-4ac}}{2a}$ show that $x=-c/b$ when $a=0$
Gradient of $a^T X b$ with respect to $X$
Infinite dimensional vector space has almost complex structure if and only if it is 'even-dimensional'?
Verifying that $2^{44}-1$ is divisible by $89$
Limit of $\prod\limits_{k=2}^n\frac{k^3-1}{k^3+1}$
Expectation and variance of the geometric distribution
Induction proof concerning a sum of binomial coefficients: $\sum_{j=m}^n\binom{j}{m}=\binom{n+1}{m+1}$ [duplicate]
Example where closure of $A+B$ is different from sum of closures of $A$ and $B$