Orly?
Yep.
Could you link me to the definition of "properly formed bitcoin transaction" you're using? Because it seems you're suggesting that "a properly formed bitcoin transaction" is a transaction that goes through, which isn't much of a definition, being both circular and unenlightening 
Nah.
When I say a "properly formed bitcoin transaction" I generally mean the following:
Transaction includes a reasonable fee for it's size
Quote
Transaction doesn't spend any unconfirmed outputs
But you told me that those could be spent? Quote
Sequence numbers of all inputs equal to UINT_MAX
So opt-in RBF is out? Check.Quote
No competing transactions seen on the network spending any of the same inputs
How would my wife check for that?Quote
Transaction broadcast to multiple nodes
Ditto.Tell you what. I googled "properly formed bitcoin transaction," netting me ...About 0 results (0.32 seconds). Safe to say not something in common usage, so:
1. Don't coin techy sounding scientistical jargon like "properly formed bitcoin transaction" without defining it first. It might impress some bimbo at your city college, but shit don't fly here.
2. Learn what a definition is.