Ficktest: Model Check 4 — NEBULA