slice toaster subgroup of toaster, 4 assertions