This paper applies some logical devices taken from standard deontic logic and general metalogic to analysis of rule-following and its paradoxes as formulated by Ludwig Wittgenstein in his later works and recently popularized and analyzed by Saul Kripke. In particular, the paper argues that the Kripkenstein problem, related to the arithmetical operation called quus is apparent. In the final part, the question of rule-following of logical rules is discussed.