Deduced Framework 2.1 Concepts