triviala propositioner , framstäUka.