An essay in classical modal logic