I have attached an example conjecture for formatting and also all the function definitions used in the conjecture

#$|$

Prove the following using equational reasoning. $($Fill out the stub XXX$)$

$|$#

Conjecture $1$:

$(=>($tlp xs$)$

$(=>($tlp ys$)$

$(=($ln $($ap xs ys$))$

$($ln $($ap ys xs$)))))$

XXX

QED

$```$