@manicsocratic proof!