Simpler short definitions for PL and SK