Separate assertions for Modal to diagnose problems better