$a && mach_was();
$b && mach_was_anderes();