Typing Sat|

by Simple Focus