initial

val initial: () -> P