Logica 2 specification