Special Connectives and Functional Completeness — KopHub