PseudoCode Controllers