CPTs rewritten