Proving a negative isn't impossible · HackerTrans