Working on execute completeness property