ADAN'S LIBAS FORMALS