functionally complete logic