If a man inserts part of the head of the penis, or has intercourse in other than the vagina, or in the bellybutton, and does not ejaculate, he is not obliged to wash … If the head of the penis has been cut off, and he inserts what remains of his penis, and it is equal to the size of the head, washing is obligatory … If it is less than this, nothing is necessary.