LOGICA IN 2^