Witr Procedure
These are all valid.