言明
げんめい declaration statement assertion