Completed control statements and true values