treat PTop as trivial