Poznámky k problému dokazování svobody