ENH Predicate features; several SDP formalisms.