SQL with values

with studenten (name, note) as (values("Felix", 1),
                                      ("Woojin", 2),
                                      ("Clemens", 3))

select avg(note), count(*) from studenten
where note > 2; select 5