1© (X) 1ª = nat

INT = §

2§ = ¨

2¨ = © constructive

2© = raise 0-6 HCP

1ª (X) INT = §

2§ = ¨

2¨ = ©

2© = ª constructive

2ª = raise 0-6 HCP