post-properties in Tucker 1