import logic

constant N : Type
constant α : N
constant β₁ : N
check β₁
constant δ : N
check δ
constant δ₁₁ : N
check δ₁₁