direct false true true from generics false true true from existential false true true (edited)