persistent learning proof