Trilemma definitions