SMS: The codex Selden problems sequent