Strengthened assertions in koan 3