Figure: Framework definition with predefined instances