Ramdonly choose a probe, create a specification and require it