Done with logical framework