typo implikace