@tillianisafox least deranged proof problem