3 ms·

Awodey's does not have answers to the exercises, so it makes it hard to find out if I'm getting close or just scribbling things down...