$a \implies b$ $ asdfasdfa