formal definition and possibility introduction