Bilaniuk_2020-Linguistic_conversions-proofs.pdf