u/Frequent-Incident-39

hi everyone, this is my first time posting on this sub so bare with me-

my friend and I have been struggling with how to solve this problem:

¬∃x¬x=m ⊢ ∀x∀y(P(x) → P(y))

we can't seem to figure out how to force the program into letting us use derived rules, and the websites we've been scouring have been fruitless as well in trying to do without derived rules. idk how popular Carnap is as a system, but I figured I might as well give it a shot. thanks in advance for helping a poor college student who's been studying for damn near 8 hours for this logic class.