Infinal logic

Infinal logic (Explicit)