Link to Metz’ slide on assertions about state