Provable Dynamic Brain