True or false, both Weak and Strong Leibniz can be used in a proof for

$->((()=)())((()=)())$

since conditional and unconditional substitution will be equivalent in this case?

Question $7$