ofc i was joking about proof