(a.) Theorematic.