Concept: Fragment (logic)