Idioms interface for Portal