The BMC Applet