Fixes for App1
Description of full termination
Extracion