Bilaniuk-2016-Language in Wartime-proofs.pdf