diff --git a/index.html b/index.html
index 6997e85..9563842 100644
--- a/index.html
+++ b/index.html
@@ -10,33 +10,33 @@
 	<meta name="author" content="Joshua Moerman">
 	<meta name="description" content="Checking behavioural equivalence was never this easy!">
 </head>
-
 <!--
-	Grapje voor 1 april. We moeten nog plaatjes van onszelf toevoegen.
-	Misschien ook iets betere plaatjes dan deze katjes...
+	Hi there!
 
-	Hier zijn wat goede gratis plaatjes te vinden:
-	https://fresh-folk.com/
-	https://glazestock.com/
-	https://humaaans.com/
-	https://icons8.com/ouch
-	https://illlustrations.co/
-	https://isometric.online/
-	https://lukaszadam.com/illustrations
-	https://manypixels.co/gallery/
-	https://opendoodles.com/
-	https://undraw.co/
-	https://woobro.design/
+	Great to see you look at the source of this webpage. As you
+	have probably guessed, this is an April fools day joke. Hope
+	you can enjoy :-).
 
-	Misschien moeten we ook een echt lijstje maken voor bisimulatie pakketen.
-	Er zijn tools eschikbaar, bijv. in model checkers zoals MCRL2 en Storm,
-	maar ook CoPar uit Erlangen is goed om naar te linken.
-	Kan ook op een andere pagina, of in een FAQ.
+	In case you actually want to compute bisimulations, you can
+	have a look at model checkers such as:
+	- mCRL2: https://www.mcrl2.org
+	- Storm: https://www.stormchecker.org
+	- CADP: https://cadp.inria.fr
+	- UPPAAL: http://www.uppaal.org
+	- Prism: https://www.prismmodelchecker.org
+	Many provide implementations for checking bisimilarity.
 
-	Groetjes,
-	Joshua
-	-->
+	I would like to draw you attention to CoPaR:
+	- https://git8.cs.fau.de/software/copar
+	It is a generic implementation of parition refinement, based
+	on category theory. It implements all the usual bisimulation
+	algorithms (bisimulation, weighted bisimulation, lumping, ...)
+	with a single generic algorithm. In most cases it provides the
+	current best complexity of these algorithms.
 
+	Kind regards,
+	Joshua Moerman
+-->
 <body>
 <div>
 	<section class="intro">
@@ -99,13 +99,21 @@
 			</div>
 
 			<div>
-				<!-- Todo: plaatje -->
+				<div class="profile">
+					<img class="profile-pic" src="Rob.jpg"><br>
+					Prof. Dr. Rob van Glabbeek.<br>
+					<em>Expert.</em>
+				</div>
 			</div>
 
 			<div>
-				<h3>Testimonials</h3>
-				<p>Todo.
-				Lorem Ipsum is slechts een proeftekst uit het drukkerij- en zetterijwezen. Lorem Ipsum is de standaard proeftekst in deze bedrijfstak sinds de 16e eeuw, toen een onbekende drukker een zethaak met letters nam en ze door elkaar husselde om een font-catalogus te maken. Het heeft niet alleen vijf eeuwen overleefd maar is ook, vrijwel onveranderd, overgenomen in elektronische letterzetting.
+				<h3>Testimonial</h3>
+				<p style="font-style:italic">"Baas is by far the most user-friendly bisimulation checker I have every tried.
+				Small systems, or ones with millions of transitions, Baas gives me the
+				right answers in virtually no time at all. Never again need I
+				experiment with dotted lines on a whiteboard: just pipe it through
+				Baas and all will be clear!"
+				<p style="text-align:right">- Rob van Glabbeek
 			</div>
 		</div>
 
@@ -136,6 +144,7 @@
 				<tr><td>Weighted Automata<td>✓<td>✓
 				<tr><td>Weighted Tree Automata<td><td>✓
 				<tr><td>Deterministic Register Automata<td><td>✓
+				<tr><td>Markovian Timed Fault Trees<td><td>✓
 				<tr><td>Quantum Software Product Line Systems<td><td>✓
 				<tr><td>Labelled Transition Blockchain Coalgebras<td><td>✓
 			</table>
@@ -166,7 +175,6 @@
 
 		<footer>
 			Copyright 2020 - BaaS - Bisimulation Online
-			<!-- willen we een email adres? -->
 		</footer>
 	</div>
 
