Proofs of strong forms of the Bovdi--Geche universality conjecture and a complex analogue