the aim is to avoid these things being silently assumed - user code would best specify it explicitly
the aim is to avoid these things being silently assumed - user code would best specify it explicitly