More debugging - implementation now runs