vibrant Logics