Limpid Logic