Implementation-related choices