True is implicit here